-
初等模型论/姚宁远/逻辑与形而上学教科书系列
¥28.1(7.8折)定价:¥36.0本书从一阶逻辑的语法和语义开始, 介绍了紧致性定理、Lwenheim–Skolem定理、Tarski准则、量词消去、饱和模型、齐次模型、Omega-稳定理论、不可区分序列以及Morley定理等内容...
本书从一阶逻辑的语法和语义开始, 介绍了紧致性定理、Lwenheim–Skolem定理、Tarski准则、量词消去、饱和模型、齐次模型、Omega-稳定理论、不可区分序列以及Morley定理等内容...
京ICP备09013606号-3京信市监发[2002]122号海淀公安分局备案编号:1101083394